Join for (Augmented) Simplicial Group
نویسندگان
چکیده
منابع مشابه
On Intuitionistic S4 and Augmented Simplicial Sets
Simplicial, and augmented simplicial (a.s. for short) sets are a basic tool of algebraic topology. On the other hand, S4 is a ubiquitous modal logic. We show that both are intimately related. Notably, every natural deduction intuitionistic S4 proof (defined in Section 2) is naturally interpreted as an a.s. map, once a choice of a.s. sets to represent base types is fixed, in a way that convertib...
متن کاملA Braided Simplicial Group
By studying the braid group action on Milnor’s construction of the 1-sphere, we show that the general higher homotopy group of the 3-sphere is the fixed set of the pure braid group action on certain combinatorially described group.
متن کاملThe universal simplicial bundle is a simplicial group
The universal bundle functor W : sGrp(C) → sC for simplicial groups in a category C with finite products lifts to a monad on sGrp(C) landing in contractible simplicial groups. The construction extends to simplicial algebras for any multisorted Lawvere theory.
متن کاملPerforming Group-By before Join
Assume that we have an SQL query containing joins and a group by The standard way of evaluating this type of query is to rst perform all the joins and then the group by operation However it may be possible to perform the group by early that is to push the group by operation past one or more joins Early grouping may reduce the query processing cost by reducing the amount of data participating in...
متن کاملGroup field theory and simplicial quantum gravity
We present a new group field theory for 4D quantum gravity. It incorporates the constraints that give gravity from BF theory and has quantum amplitudes with the explicit form of simplicial path integrals for first-order gravity. The geometric interpretation of the variables and of the contributions to the quantum amplitudes is manifest. This allows a direct link with other simplicial gravity ap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical and Computational Applications
سال: 2000
ISSN: 2297-8747
DOI: 10.3390/mca5020105